Search results for "Internal variable"
showing 8 items of 8 documents
Automatic construction of test sets: Theoretical approach
2005
We consider the problem of automatic construction of complete test set (CTS) from program text. The completeness criterion adopted is C1, i.e., it is necessary to execute all feasible branches of program at least once on the tests of CTS. A simple programming language is introduced with the property that the values used in conditional statements are not arithmetically deformed. For this language the CTS problem is proved to be algorithmically solvable and CTS construction algorithm is obtained. Some generalizations of this language containing counters, stacks or arrays are considered where the CTS problem remains solvable. In conclusion the applications of the obtained results to CTS constr…
A constitutive framework based on elastic and internal energy degradation
2001
A general constitutive framework is presented capable of representing different irreversible deformation modes, like plasticity, elastic damage, complex evolution of the hardening properties and the induced coupling effects. The formulation can be framed in the generalized standard material models with internal variables and multiple dissipative activation functions. The formulation is thermodynamically consistent and the state laws, the structure of the dissipation and of the activation functions are all derived complying with the principles of thermodynamics. The generalized flow rules are derived under the hypothesis of generalized associativity. The main aspect of the proposed model is …
A Thermodynamic Plasticity Formulation with Local and Nonlocal Internal Variables
2002
In order to obtain the elastic response of nonhomogeneous materials, it is often sufficient to adopt an implicit homogenization technique which allows one to treat the material as an equivalent continuum medium. For large stress concentration or for accurate small scale studies this widely applied technique may show some limit and a more refined analysis might be required involving nonlocal elastic effects, see e.g. Kroner (1967), Eringen et al. (1977).
How an idea germinates into a projext or the intransitive resultative construction with Entity-Specific change-of-state verbs
2014
[EN] This study discusses how seven of Levin’s (1993) entity-specific change-of-state verbs (i.e. bloom, blossom, flower, germinate, sprout, swell, and blister) are subsumed into the intransitive resultative construction by highlighting and making use of the external and internal constraints proposed by the Lexical Constructional Model (LCM; Ruiz de Mendoza and Mairal 2007). External constraints refer to cognitive mechanisms such as high-level metaphor and/or metonymy whereas internal constraints are concerned with the encyclopedic and event structure makeup of verbs. The Internal Variable Conditioning constraint is at work when the information encapsulated by a predicate determines the cho…
Elastic-Viscoplastic Solids Subjected to Thermal and Loading Cycles
1995
— A class of elastic-viscoplastic materials with dual internal variables, thermodynamic potential and temperature-dependent plastic and creep data is considered. For solids (or structures) of such materials, subjected to cyclic loads and temperature variations, the existence of a steady-state response is ascertained and its periodicity characteristics established. Particular steady-state responses, like, elastic and inelastic shakedown, are addressed. By means of a sensitivity analysis of the steady cycle with respect to the load parameter changes, a number of basic features of inelastic shakedown (the viscoplastic counterpart of plastic shakedown) are also addressed.
On the observability of Bell's inequality violation in the two-atoms optical Stern-Gerlach model
2005
Using the optical Stern-Gerlach model, we have recently shown that the non-local correlations between the internal variables of two atoms that successively interact with the field of an ideal cavity in proximity of a nodal region are affected by the atomic translational dynamics. As a consequence, there can be some difficulties in observing violation of the Bell's inequality for the atomic internal variables. These difficulties persist even if the atoms travel an antinodal region, except when the spatial wave packets are exactly centered in an antinodal point.
Shakedown Problems for Material Models with Internal Variables
1991
The classical shakedown theory is reconsidered with the objective of extending it to a quite general constitutive law for rate-insensitive elastic-plastic material models endowed with dual internal variables and thermodynamic potential. The statical and kinematical shakedown theorems, the corresponding approaches to the shakedown load multiplier problem and a deformation bounding theorem are presented and discussed with a view of further developments.
Theorems of restricted dynamic shakedown
1993
Abstract Dynamic shakedown for a rate-independent material with internal variables is addressed in the hypothesis that the load values are restricted to those of a specified load history of finite or even infinite duration, thus ruling out the possibility—typical of classical shakedown theory—of indefinite load repetitions. Instead of the usual approach to dynamic shakedown, based on the bounded plastic work criterion, another approach is adopted here, based on the adaptation time criterion. Static, kinematic and mixed-form theorems are presented, which characterize the minimum adaptation time (MAT), a feature of the structure-load system, but which are also able to assess whether plastic w…